\chapter{Abstract}
\label{chap:abstract}

\npar Dit document bevat het verslag van Kristof Peeters en Tom op 't Roodt
van het project voor het vak ``Modelleren van complexe systemen", gedoceerd in
het eerste semester van het eerste masterjaar. Het verslag bevat een
beschrijving van de resultaten en implementatie van de modellering van een
gevangenis in IDP en NuSMV. Verder worden de ervaringen met beide talen
nog toegelicht.
